Knihy od autora Grigore Rosu

Zobrazené 1 – 7 z 7 výsledkov

Ďalšie

Stránka 1. z 1

Predchádzajúci

Formal Techniques for Distributed Systems

Holger Giese, Grigore Rosu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

Skladom u dodávateľa - Odosielame za 5 - 8 dní

Jazyk: Angličtina

Väzba: Brožovaná

51.48 €

Zľava 7 %
Ušetríte 4.26 €
Kúpiť
Algebraic Methodology and Software Technology

José Meseguer, Grigore Rosu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

Skladom u dodávateľa - Odosielame za 5 - 8 dní

Jazyk: Angličtina

Väzba: Brožovaná

51.48 €

Zľava 7 %
Ušetríte 4.26 €
Kúpiť
Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

Skladom u dodávateľa - Odosielame za 5 - 8 dní

Jazyk: Angličtina

Väzba: Brožovaná

51.48 €

Zľava 7 %
Ušetríte 4.26 €
Kúpiť
Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu | Springer Nature Switzerland AG, 2022

Skladom u dodávateľa - Odosielame za 5 - 8 dní

Jazyk: Angličtina

Väzba: Brožovaná

41.20 €

Zľava 7 %
Ušetríte 3.43 €
Kúpiť
Model Checking Software

Owolabi Legunsen, Grigore Rosu | Springer International Publishing AG, 2022

Skladom u dodávateľa - Odosielame za 5 - 8 dní

Jazyk: Angličtina

Väzba: Brožovaná

102.57 €

Zľava 7 %
Ušetríte 8.59 €
Kúpiť
Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu | Springer Nature Switzerland AG, 2022

Skladom u dodávateľa - Odosielame za 5 - 8 dní

Jazyk: Angličtina

Väzba: Brožovaná

41.20 €

Zľava 7 %
Ušetríte 3.43 €
Kúpiť
Institution Morphisms

Grigore Rosu | Bibliogov, 2013

Skladom u dodávateľa - Odosielame za 14 - 21 dní

Jazyk: Angličtina

Väzba: Brožovaná

15.41 €

Zľava 2 %
Ušetríte 0.36 €
Kúpiť